Differential Linear Logic and Polarization
نویسنده
چکیده
We study an extension of Ehrhard–Regnier’s differential linear logic along the lines of Laurent’s polarization. We show that a particular object of the well-known relational model of linear logic provides a denotational semantics for this new system, which canonically extends the semantics of both differential and polarized linear logics: this justifies our choice of cut elimination rules. Then we show this new system models the recently introduced convolution λ̄μ-calculus, the same as linear logic decomposes λ-calculus.
منابع مشابه
Discrimination between Weather and Sea Clutter
The results of automatic discrimination between weather and sea clutter using S-band dual-polarization Doppler weather radar are presented. The data were collected with the NCAR SPOL radar located in the Pacific shoreline near Seattle, USA. The multiparameter dataset includes backscattered power P (or radar reflectivity Z), Doppler velocity V, spectrum width σv, differential reflectivity ZDR (p...
متن کاملDi erential Linear Logic and Polarization
We extend Ehrhard Regnier's di erential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both di erential and polarized linear logics: this justi es our choice of cut elimination rules. Then we show this polarized di erential linear logic re ne...
متن کاملConvolution λ̅μ-Calculus
We define an extension of Herbelin’s λ̄μ-calculus, introducing a product operation on contexts (in the sense of lists of arguments, or stacks in environment machines), similar to the convolution product of distributions. This is the computational couterpart of some new semantical constructions, extending models of Ehrhard-Regnier’s differential interaction nets, along the lines of Laurent’s pola...
متن کاملFuzzy logic controlled differential evolution to solve economic load dispatch problems
In recent years, soft computing methods have generated a large research interest. The synthesis of the fuzzy logic and the evolutionary algorithms is one of these methods. A particular evolutionary algorithm (EA) is differential evolution (DE). As for any EA, DE algorithm also requires parameters tuning to achieve desirable performance. In this paper tuning the perturbation factor vector of DE ...
متن کاملFuzzy logic controlled differential evolution to solve economic load dispatch problems
In recent years, soft computing methods have generated a large research interest. The synthesis of the fuzzy logic and the evolutionary algorithms is one of these methods. A particular evolutionary algorithm (EA) is differential evolution (DE). As for any EA, DE algorithm also requires parameters tuning to achieve desirable performance. In this paper tuning the perturbation factor vector of DE ...
متن کامل